Computer algebra systems - PDFSEARCH.IO - Document Search Engine

Computer algebra systems
Results: 620

#	Item
271	IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOL. 11, NO. 3, JUNE[removed]Transactions Briefs__________________________________________________________________ Board-Level Multiterminal Net Assignm Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-07-31 11:09:07 Logic in computer science NP-complete problems Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Field-programmable gate array MOS Technology SID Hardware emulation Theoretical computer science Electronic engineering Applied mathematics
272	Complexity of Bézout’s Theorem and the Condition Number Jean-Pierre Dedieu Institut de Mathématiques de Toulouse, France Fields Institute, Thematic Program on the Foundations of Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2009-10-23 10:42:16 Computational complexity theory Complexity classes Abstraction Complex systems theory Complexity Holism PP Polynomial P Theoretical computer science Algebra Mathematics
273	648 IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS—PART B: CYBERNETICS, VOL. 33, NO. 4, AUGUST 2003 Moments of Superellipsoids and Their Application to Range Image Registration Add to Reading List Source URL: eprints.fri.uni-lj.si Language: English - Date: 2011-08-12 18:32:04 Computer graphics Introductory physics Rigid bodies Classical mechanics Mechanics Superellipsoid Moment of inertia Cartesian coordinate system Ellipsoid Physics Algebra Mathematics
274	Transforming systems of PDEs for efficient numerical solution Andreas Wrangsjö, Peter Fritzson and K. Sheshadri Department of Computer and Information Science Linköping University, S−[removed]Linköping, Sweden Email: Add to Reading List Source URL: algebra.rotol.ramk.fi Language: English - Date: 1999-06-21 06:11:09 Differential equations Multivariable calculus Partial differential equations Finite difference Numerical analysis Method of characteristics Spectral method Calculus Mathematical analysis Mathematics
275	Parallel Multi-Party Computation from Linear Multi-Secret Sharing Schemes ? Zhifang Zhang1 , Mulan Liu1?? , and Liangliang Xiao2 1 Academy of Mathematics and Systems Science, Key Laboratory of Mathematics Add to Reading List Source URL: www.iacr.org Language: English - Date: 2008-09-15 00:54:53 Boolean algebra Applied mathematics Theoretical computer science PROPT Secure multi-party computation Numerical software Mathematics
276	Approximate Databases and Query Techniques for Agents with Heterogeneous Perceptual Capabilities Patrick Doherty Department of Computer Science University of Link¨oping Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:35:11 Database theory Relational model Mathematical structures Relational database management systems Theoretical computer science Relational database Finitary relation Tuple Structure Mathematics Algebra Data management
277	doi:[removed]j.inffus[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 07:09:11 Database theory Database management systems Theoretical computer science Robotic sensing Sensor fusion Sensors Relational database Database Finitary relation Algebra Mathematics Data management
278	Microsoft Word[removed]EOC Science Supplement FINPRT[removed]docx Add to Reading List Source URL: www.doe.virginia.gov Language: English - Date: 2014-11-18 11:50:11 Graphing calculators Standardized tests Computer algebra systems ACT Standards of Learning TI-Nspire series General Educational Development Graduate Record Examinations Test Education Evaluation Programmable calculators
279	APPENDIX D GUIDELINES FOR CALCULATOR USE Students in all grades will be allowed to use permissible calculators. All students should have access to school-owned or student-owned calculators for use on the appropriate End Add to Reading List Source URL: www.doe.sd.gov Language: English - Date: 2013-03-13 14:10:44 Technology Mathematics Office equipment Computing Calculators HP-49 series HP-40G TI-89 series Software calculator Graphing calculators Programmable calculators Computer algebra systems
280	ADP Algebra I End-of-Course Exam Calculator Policy Add to Reading List Source URL: www.achieve.org Language: English - Date: 2012-04-04 14:59:00 Technology Mathematics Calculators Media technology Office equipment TI-Nspire series TI-89 series Scientific calculator HP-49 series Graphing calculators Programmable calculators Computer algebra systems

UPDATE